Greg Howard

#	Item
21	Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Harvard University [removed] Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Models of computation Lambda calculus Predicate logic Computability theory First-order logic Hoare logic Ordinal number Curry–Howard correspondence Mathematical logic Theoretical computer science Logic
22	The Legislative Assembly of Manitoba Debates and Proceedings Add to Reading List Source URL: www.gov.mb.ca Language: English - Date: 2011-05-06 12:14:52 Hugh McFadyen George Hickes Myrna Driedger Jon Gerrard Inuit Greg Selinger Winnipeg Jennifer Howard Nunavut Provinces and territories of Canada Year of birth missing Manitoba
23	Stick eLessons This is a sampling of the complete 162 page text. This sample is only complete from the cover to the first set of exercises of Lesson 2. However, except for one audio and one Add to Reading List Source URL: www.thecrains.net Language: English - Date: 2011-05-18 13:09:34 Chapman Stick NS/Stick Greg Howard General MIDI Tapping Bass guitar MIDI Lesson QuickTime Music Sound Media technology